1. Advances in algebra and analysis :
المؤلف: V. Madhu, A. Manimaran, D. Easwaramoorthy, D. Kalpanapriya, M. Mubashir Unnissa, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra, Congresses.,Mathematical analysis, Congresses.,Algebra.,Analysis.,Operations Research, Management Science.,Statistical Theory and Methods.,Algebra.,Mathematical analysis.
رده :
QA150
2. Applied mathematics and scientific computing :
المؤلف: B. Rushi Kumar, R. Sivaraj, B.S.R.V. Prasad, M. Nalliah, A. Subramanyam Reddy, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra, Congresses.,Mathematical analysis, Congresses.,Applications of Mathematics.,Computational Science and Engineering.,Algebra.,Mathematical analysis.
رده :
QA150
3. Coalgebraic methods in computer science :
المؤلف: Corina Cîrstea (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.,Computer software-- Mathematics, Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA76
.
9
.
M35
4. Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980
المؤلف: edited by F. Richman
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Constructive mathematics,Congresses ، Intuitionistic mathematics
رده :
QA
1
.
L4
v
.
873
5. Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980
المؤلف: edited by F. Richman
المکتبة: (طهران)
موضوع: Congresses ، Constructive mathematics,Congresses ، Intuitionistic mathematics
رده :
QA
3
.
L28
Vol
.
873
6. Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980
پدیدآورنده : edited by F. Richman
موضوع : Constructive mathematics - Congresses,Intuitionistic mathematics - Congresses
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
7. Formal systems and recursive functions /
المؤلف: edited by J.N. Crossley and M.A.E. Dummett.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical, Congresses.,Recursive functions, Congresses.,Fonctions récursives.,Logique symbolique et mathématique.,Fonctions récursives-- Congrès.,Logic, Symbolic and mathematical.,Logique symbolique et mathématique-- Congrès.,Recursive functions.
رده :
QA9
.
615
.
F67
1965
8. Fundamentals of artificial intelligence research :
المؤلف: Ph. Jorrand, J. Kelemen, (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence -- Congresses.,Artificial intelligence.
رده :
Q334
.
P456
1991
9. Fuzzy sets and operations research /
المؤلف: Bing-Yuan Cao, Yu-Bin Zhong, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Fuzzy sets, Congresses.,Operations research, Congresses.,Fuzzy sets.,Operations research.
رده :
QA248
.
5
10. Intuitionism and proof theory. Proceedings of the summer conference at Buffalo, N.Y., 1968
المؤلف: Edited by A. Kino, J. Myhill and R. E. Vesley
المکتبة: (طهران)
موضوع: Congresses ، Intuitionistic mathematics
رده :
QA
9
.
C742
11. Logic and its applications :
المؤلف: Kamal Lodaya (ed.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical -- Congresses.,Logic.,MATHEMATICS -- Infinity.
رده :
QA9
.
A1
K363
2013
12. Numerical methods and applications :
المؤلف: Geno Nikolov, Natalia Kolkovska, Krassimir Georgiev (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Numerical analysis, Congresses.,Numerical analysis.
رده :
QA297
.
N53
2018eb
13. Proceedings of the Third International Conference on Computing, Mathematics and Statistics (iCMS2017) :
المؤلف: editors, Liew-Kee Kor [and 3 others].
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer systems, Congresses.,Mathematics, Congresses.,Statistics, Congresses.,Computer systems.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Mathematics.,Statistics.
رده :
QA76
.
24
14. The Kleene Symposium : proceedings of the Symposium, held June 18-24, 1978 at Madison, Wisconsin, U.S.A
المؤلف: edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen
المکتبة: (طهران)
موضوع: Congresses ، Recursion theory,Congresses ، Intuitionistic mathematics,، Kleene, Stephen Cole, 9091-4991
رده :
QA
9
.
6
.
K53
1978
15. The L.E.J. Brouwer Centenary Symposium
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: 1966. ; Constructive mathematics ; Congresses. ; Intuitionistic mathematics ; Congresses. ; -Brouwer, L. E. J. ; (Luitzen Egbertus Jan), ; 1881
16. The L.E.J. Brouwer Centenary Symposium : proceedings of the Conference held in Noordwijkerhout, 8-13 June 1981
المؤلف: edited by A.S. Troelstra and D. Van Dalen
المکتبة: (طهران)
موضوع: Congresses ، Constructive mathematics,Congresses ، Intuitionistic mathematics,، Brouwer, Luitzen Egbertus Jan, 1881-6691
رده :
QA
9
.
56
.
L2
1981
17. The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981
المؤلف: edited by A.S. Troelstra and D. van Dalen
المکتبة: (طهران)
موضوع: Congresses ، Constructive mathematics,Congresses ، Intuitionistic mathematics,، Brouwer, Luitzen Egbertus Jan, 1881-6691
رده :
QA
9
.
56
.
L2
1981
18. Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
المؤلف: I. Bucur ... ]et al.[; edited by F. W. Lawvere
المکتبة: (طهران)
موضوع: Congresses ، Categories )Mathematics(,Congresses ، Geometry, Algebraic,Congresses ، Logic, Symbolic and mathematical,Congresses ، Toposes
رده :
QA
3
.
L28
Vol
.
274
